$\forall$$T$:Type, $l$:($T$ List), $i$:\{0..$\parallel$$l$$\parallel^{-}$\}, $j$:\{0..($i$+1)$^{-}$\}. $\parallel$l\_interval($l$;$j$;$i$)$\parallel$ = ($i$ {-} $j$)